[Alphabetical Index | Tag Index]

Semantic analysis

A phase of language processing that enforces the static semantics of a language. Includes typechecking, name binding, overload resolution and checking other static constraints.